1. #Applied formal verification
پدیدآورنده : #Douglas L. Perry, Harry D. Foster
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Integrated circuits ،Electronic circuits
رده :
#
TK
،#.
P47
،#
2005